منابع مشابه
Runtime Universe Type Inference
The Universe type system is an ownership type system for objectoriented languages that enforces the owner-as-modifier discipline. One strength of the Universe type system is its low annotation overhead. Still, annotating existing software is a considerable effort. In this paper, we describe how we can analyze the execution of programs and infer ownership modifiers from the execution. These modi...
متن کاملTunable Universe Type Inference
Object ownership is useful for many applications such as program verification, thread synchronization, and memory management. However, even lightweight ownership type systems impose considerable annotation overhead, which hampers their widespread application. This paper address this issue by presenting a tunable static type inference for Universe types. In contrast to classical type systems, ow...
متن کاملNew G 2 Metric, D6-branes and Lattice Universe
We construct a new (singular) cohomogeneity-three metric of G 2 holonomy. The solution can be viewed as a triple intersection of smeared Taub-NUTs. The metric comprises three non-compact radial-type coordinate, with the principal orbits being a T 3 bundle over S 1. We consider an M-theory vacuum (Minkowski) 4 × M 7 where M 7 is the G 2 manifold. Upon reduction on a circle in the T 3 , we obtain...
متن کاملFIXED POINT TYPE THEOREM IN S-METRIC SPACES
A variant of fixed point theorem is proved in the setting of S-metric spaces
متن کامل(Fixed Point Type Theorem In S-Metric Spaces (II
In this paper, we prove some common fixed point results for two self mappingsf and g on S-metric space such that f is a g.w.c.m with respect to g.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Progress of Theoretical Physics
سال: 1977
ISSN: 0033-068X,1347-4081
DOI: 10.1143/ptp.57.339